cmake_minimum_required(VERSION 3.14)
project(reach_solver_test)

set(CMAKE_CXX_STANDARD 14)

find_package(Eigen3 REQUIRED)

add_executable(runExampleCase_6)

target_sources(runExampleCase_6 PRIVATE
               #${CMAKE_CURRENT_LIST_DIR}/../../algorithm/underApproximateBackwardUsingPolytope/analyser/analyser.cpp
               #${CMAKE_CURRENT_LIST_DIR}/../../algorithm/underApproximateBackwardUsingPolytope/settings/settings.cpp
               #${CMAKE_CURRENT_LIST_DIR}/../../algorithm/underApproximateBackwardUsingPolytope/verifier/verifier.cpp
               ${CMAKE_CURRENT_LIST_DIR}/main.cpp)

target_compile_options(runExampleCase_6
        PUBLIC
        -D__USE_FILIB__)
target_compile_definitions(runExampleCase_6
        PUBLIC
        _USE_MATH_DEFINES)
        
target_link_libraries(runExampleCase_6 PUBLIC
        prim
        /usr/local/lib/libcapd.so
        #        capd
        Eigen3::Eigen
        #reach_solver
        )

